projects / ghc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0f55a8f) | patch
Use realpath instead of custom script
authorIlias Tsitsimpis <iliastsi@debian.org>
Wed, 18 Oct 2023 19:50:19 +0000 (22:50 +0300)
committerIlias Tsitsimpis <iliastsi@debian.org>
Wed, 18 Oct 2023 19:50:19 +0000 (22:50 +0300)
commit1d48cedbe8b4e41e6ad556794ff67f0e8f2de2cf
tree9ac11af352aedf90ed6a86a4f739180261dd3e24tree | snapshot
parent0f55a8f4d321429e62c6976822d6cd9a289ed7b6commit | diff
Use realpath instead of custom script

Use realpath instead of the custom script, which is broken. As an example,

  $ ./mk/relpath.sh /usr/lib/ghc/lib /usr/lib/ghc-doc
  ..-doc
  $ realpath --relative-to=/usr/lib/ghc/lib /usr/lib/ghc-doc
  ../../ghc-doc

Gbp-Pq: Name hadrian-relpath
hadrian/bindist/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.